41. Programming Language Implementation and Logic Programming :
پدیدآورنده: edited by Jan Maluszyński, Martin Wirsing.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
42. Programming Languages and Systems -- ESOP '94 :
پدیدآورنده: edited by Donald Sannella.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
43. Programming Languages and Systems -- ESOP '96 :
پدیدآورنده: edited by Hanne Riis Nielson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
44. Programming and Mathematical Method :
پدیدآورنده: edited by Manfred Broy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1992
45. Programs as Data Objects :
پدیدآورنده: by Harald Ganzinger, Neil D. Jones.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
46. Recent Trends in Data Type Specification :
پدیدآورنده: edited by Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
47. Relations and Graphs :
پدیدآورنده: by Gunther Schmidt, Thomas Ströhlein.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
9
.
M35
B948
1993
48. Runtime Verification
پدیدآورنده: edited by Sarfraz Khurshid, Koushik Sen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
49. Semantics:
پدیدآورنده: edited by J.W. Bakker, W.-P. Roever, G. Rozenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
50. Software Composition
پدیدآورنده: edited by Thomas Gschwind, Flavio Paoli, Volker Gruhn, Matthias Book
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
51. Software Engineering 3
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Information theory. ; Software engineering. ; Computer science. ; Logic design. ; Theory of Computation. ;
52. Software Service and Application Engineering
پدیدآورنده: edited by Maritta Heisel
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks,Computer science,Logic design,Software engineering,Computation by Abstract Devices,Computer Communication Networks,Computer Science,Information Systems Applications (incl. Internet),Logics and Meanings of Programs,Software Engineering
53. Specification of Software Systems
پدیدآورنده: by V.S. Alagar, K. Periyasamy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
9
.
F67
B987
1998
54. State-Space Search :
پدیدآورنده: by Weixiong Zhang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Logic design.
رده :
QA402
.
B994
1999
55. Static Analysis :
پدیدآورنده: edited by Baudouin Charlier.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
56. Static Analysis :
پدیدآورنده: by Patrick Cousot, Moreno Falaschi, Gilberto File.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
57. System Analysis and Modeling: About Models
پدیدآورنده: edited by Frank Alexander Kraemer, Peter Herrmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks.,Computer science.,Information storage and retrieval systems.,Logic design.,Software engineering.
58. TAPSOFT '95:
پدیدآورنده: edited by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
59. Tests and Proofs
پدیدآورنده: edited by Achim D. Brucker, Jacques Julliand
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science,Computer simulation,Logic design,Software engineering,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Simulation and Modeling,Software Engineering
